vector space over a field